The Fuzzy Description Logic ALCFH with Hedge Algebras as Concept Modifiers
نویسندگان
چکیده
In this paper we present the fuzzy description logic ALCFH introduced, where primitive concepts are modified by means of hedges taken from hedge algebras. ALCFH is strictly more expressive than Fuzzy-ALC defined in [11]. We show that given a linearly ordered set of hedges primitive concepts can be modified to any desired degree by prefixing them with appropriate chains of hedges. Furthermore, we define a decision procedure for the unsatisfiability problem in ALCFH , and discuss knowledge base expansion when using terminologies, truth bounds, expressivity as well as complexity issues. We extend [8] by allowing modifiers on non-primitive concepts and extending the satisfiability procedure to handle concept definitions.
منابع مشابه
The Subsumption Problem of the Fuzzy Description Logic ALCFH
We present the fuzzy description logic ALCFH where primitive concepts are modified by means of hedges taken from hedge algebras. ALCFH is strictly more expressive than Fuzzy-ALC defined in [9]. We show that given a linearly ordered set of hedges primitive concepts can be modified to any desired degree by prefixing them with appropriate chains of hedges. Furthermore, we define a decision procedu...
متن کاملExtended hedge algebras and their application to fuzzy logic
This paper continues our investigation on hedge albebras [6]. We extend hedge algebras by two additional operations corresponding to infimum and supremum of the so-called concept category of an element x, i.e. the set which is generated from x by means of the hedge operations. It is shown that every extended hedge algebra with a lattice of the primary generators is a lattice. In the symmetrical...
متن کاملA Theory of Refinement Structure of Hedge Algebras and Its Applications to Fuzzy Logic
In [13], an algebraic approach to the natural structure of domains of linguistic variables was introduced. In this approach, every linguistic domain can be interpreted as an algebraic structure called a hedge algebra. In this paper, a refinement structure of hedge algebras based on free distributive lattices generated by linguistic hedge operations will be examined in order to model structure o...
متن کاملThe Fuzzy Description Logic Alcflh
In this paper, we present the fuzzy description logic ALCFLH . ALCFLH is based on ALCFH , but linear hedges are used instead of exponential ones. This allows to solve the entailment and the subsumption problem in a fuzzy description logic, where arbitrary concepts and roles may be modified.
متن کاملFuzzy linguistic logic programming and its applications
The paper introduces fuzzy linguistic logic programming, which is a combination of fuzzy logic programming, introduced by P. Vojtáš, and hedge algebras in order to facilitate the representation and reasoning on human knowledge expressed in natural languages. In fuzzy linguistic logic programming, truth values are linguistic ones, e.g., VeryTrue, VeryProbablyTrue, and LittleFalse, taken from a h...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- JACIII
دوره 7 شماره
صفحات -
تاریخ انتشار 2003